%--
\chapter{SHM算法}

%--
\begin{theorem}[\cite{Attiya95}]
    
    定义distributed atomic register。
    
\end{theorem}

%--
\begin{theorem}[\cite{Herlihy90}]
    
    定义linearizability。
    
\end{theorem}

%--
\begin{theorem}[\cite{Shao11}]
    
    多写register的regularity的定义。
    
\end{theorem}

%--
\begin{theorem}[\cite{Herlihy91}]
    
    Consensus number的概念。
    
\end{theorem}

%--
\begin{theorem}[\cite{Herlihy11}]
    
    Progress condition概念的系统阐述。
    
\end{theorem}

%--
\begin{theorem}[\cite{Lamport74}]

    Bakery算法。

\end{theorem}